Adaptive testing of a deterministic implementation against a nondeterministic nite state machine

A number of authors have looked at the problem of deriving a checking experiment from a nondeterministic nite state machine that mod els the required behaviour of a system We show that these methods can be extended if it is known that the implementation is equivalent to some unknown deterministic nite state machine When testing a deterministic implementation the test output provides information about the implementation under test and can thus guide future testing The use of an adaptive test process is thus proposed